#ifndef _PRIO_H_
#define _PRIO_H_

void OS_PrioInit(void);
void OS_PrioInsert(CPU_UINT32   prio);
void OS_PrioRemove(CPU_UINT32  prio);
CPU_UINT32 OS_PrioGetHighest(void);

#endif


